CI: update remaining outdated dependencies

Ref: 63a5e3dcfc5e ("CI: update dependencies")
Signed-off-by: Tianling Shen <[email protected]>

diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml
index 25609174e8ae6f9dee01640924d2ae26be440d83..b3f824c524c4d3e619c7634f8d62cfd1a071edcc 100644 (file)
--- a/.github/workflows/formal.yml
+++ b/.github/workflows/formal.yml
@@ -11,7 +11,7 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v3
         with:
           ref: ${{ github.event.pull_request.head.sha }}
           fetch-depth: 0

diff --git a/.github/workflows/jsdoc.yml b/.github/workflows/jsdoc.yml
index b67956ad1885525cfcdcc044da3079fb0f32d7da..254e3e6c38b46a953c63439fed121db1c978e32e 100644 (file)
--- a/.github/workflows/jsdoc.yml
+++ b/.github/workflows/jsdoc.yml
@@ -11,7 +11,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v3
 
       - name: Install
         run: npm install
@@ -20,7 +20,7 @@ jobs:
         run: npm run doc
 
       - name: Archive docs as artifact
-        uses: actions/upload-artifact@v2
+        uses: actions/upload-artifact@v3
         with:
           name: docs
           path: ./docs/